ordered vector space

有序向量空间